lambda notation - определение. Что такое lambda notation
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое lambda notation - определение

SERIES OF JAPANESE ROCKETS
Lambda 4-S; Lambda (rocket); Lambda-4
  • Lambda 4S (replica) and the launcher as exhibited at [[National Museum of Nature and Science]].
Найдено результатов: 629
Gnome Lambda         
  • Oberursel U.III, a copy of the 14-cylinder Gnome Lambda-Lambda
  • reason=The [[Sopwith Tabloid]] article says it was produced only with Monospaupe engines. Is Lambda an alternate name for these? Or maybe it is a customization specific only to this replica?}} engine.
ROTARY PISTON AIRCRAFT ENGINE
Gnome Lambda-Lambda; Gnome 7 Lambda; Gnome 14 Lambda-Lambda.; Oberursel U.0; Oberursel U.III; Gnome 14 Lambda-Lambda; Gnome Lambda Lambda; Gnome Λ80 Lambda; Gnome ΛΛ160 Lambda-Lambda; Gnôme 14 Lambda-Lambda; Motorenfabrik Oberursel U.0
The Gnome 7 Lambda was a French designed, seven-cylinder, air-cooled rotary aero engine that was produced under license in Britain and Germany. Powering several World War I-era aircraft types it was claimed to produce from its capacity of although recorded figures are lower.
Polish notation         
  • 125px
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
¦ noun Logic & Computing a system of formula notation without brackets or special punctuation, used to represent arithmetical operations.
Polish notation         
  • 125px
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
Polish notation (PN), also known as normal Polish notation (NPN), Łukasiewicz notation, Warsaw notation, Polish prefix notation or simply prefix notation, is a mathematical notation in which operators precede their operands, in contrast to the more common infix notation, in which operators are placed between operands, as well as reverse Polish notation (RPN), in which operators follow their operands. It does not need any parentheses as long as each operator has a fixed number of operands.
Algebraic notation (chess)         
METHOD FOR RECORDING AND DESCRIBING THE MOVES IN A GAME OF CHESS
International notational; Algebraic Chess Notation; Figurine Algebraic Notation; Standard chess notation; Chess algebraic notation; Algebraic chess notation; Standard algebraic notation; AN (chess); ChessAN; Standard Algebraic Notation; Long algebraic notation; Figurine algebraic notation; Short algebraic notation; Standard notation (chess)
Algebraic notation (or AN) is the standard method for recording and describing the moves in a game of chess. It is based on a system of coordinates to uniquely identify each square on the chessboard.
prefix notation         
  • 125px
MATHEMATICAL NOTATION IN WHICH EVERY OPERATOR PRECEDES ALL OF ITS OPERANDS
Polish Notation; Lukasiewicz notation; Łukasiewicz notation; Prefix notation; PN (notation); Notacja polska; Normal Polish notation; NPN (notation); Warsaw notation; Prefix operator; Prefix expression; Prefixed notation; Polish prefix notation; Polish string; Polish notation string; Polish string notation
<language> (Or "prefix syntax") One of the possible orderings of functions and operands: in prefix notation the function precedes all its operands. For example, what may normally be written as "1+2" becomes "(+ 1 2)". A few languages (e.g., lisp) have strictly prefix syntax, many more employ prefix notation in combination with infix notation. Compare: postfix notation. (2001-02-14)
Lambda Nordica         
SWEDISH PERIODICAL
Draft:Lambda Nordica; Lambda Nord; Lambda Nord.
Lambda Nordica is a peer-reviewed, open-access academic journal of LGBTQ studies. The journal is oldest of its kind in the Nordic region, dedicated to interdisciplinary research in lesbian/gay/bi/trans* and queer studies.
Descriptive notation         
NOTATION FOR RECORDING CHESS GAMES
English chess notation; Descriptive chess notation; Descriptive notation (chess)
Descriptive notation is a chess notation system based on abbreviated natural language. Its distinctive features are that it refers to files by the piece that occupies the back rank square in the starting position and that it describes each square two ways depending on whether it is from White or Black's point of view.
Dowker–Thistlethwaite notation         
MATHEMATICAL NOTATION FOR DESCRIBING THE STRUCTURE OF KNOTS
Dowker-Thistlethwaite notation; Dowker notation
In the mathematical field of knot theory, the Dowker–Thistlethwaite (DT) notation or code, for a knot is a sequence of even integers. The notation is named after Clifford Hugh Dowker and Morwen Thistlethwaite, who refined a notation originally due to Peter Guthrie Tait.
beta conversion         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent
<theory> A term from lambda-calculus for beta reduction or beta abstraction. (1999-01-15)
Lambda calculus         
FORMAL SYSTEM IN MATHEMATICAL LOGIC
Lamda calculus; Lambda-calculus; Lambda abstraction; Lambda-definable function; Lambda-definable functions; Lambda calculas; Beta reduction; Alpha conversion; Lambda-recursive function; Lambda programming; Eta reduction; Lambda Calculus; Untyped lambda calculus; Λ-calculus; Alpha equivalence; Eta expansion; Abstraction operator; Alpha reduction; Beta substitution; Beta conversion; Α conversion; Λ calculus; Β-reduction; B-reduction; L-calculus; L calculus; A conversion; Beta-reduction; Λa-calculus; Lanbda-calculus; Lambda kalkül; Alpha renaming; Lambda calculi; Λ-abstraction; AlphaRenaming; Α-conversion; Capture-avoiding substitution; Lambda term; Lamda expression; Alpha-renaming; Alpha-conversion; Eta conversion; Eta-conversion; Η-conversion; Η conversion; Lambda language; Type-free lambda calculus; Typefree lambda calculus; Type free lambda calculus; Eta-reduction; Functional abstraction; Λx; Λy; Λz; Anonymous function abstraction; Lambda-calculi; Lambda-term bound variables; Lambda terms; Alpha equivalent
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine.

Википедия

Lambda (rocket family)

Lambda is the name of a series of Japanese carrier rockets. It consisted of the types Lambda 2, LS-A, LSC-3, Lambda 3, Lambda 4 and LS-C, developed jointly by Institute of Industrial Science of University of Tokyo, Institute of Space and Astronautical Science of Tokyo University, and Prince Motor Company, which merged with Nissan in 1966.

On February 11, 1970, the first Japanese satellite Ohsumi was launched using a Lambda 4 rocket.

Lambda series rockets did not have guidance systems, as they had the potential to be converted for offensive military use, thus interpreted as a violation of Article 9 of the Japanese Constitution. However, future Japanese launch vehicles, such as the H-II, were allowed to have guidance systems.

The Lambda 4 was launched nine times, though five were failures. The first launch of the Lambda 4S rocket took place on September 26, 1966, from Kagoshima. A fourth-stage attitude control failed resulting in loss of the vehicle and payload. The last launch date was September 1, 1974.